#!/bin/sh
nums="2 4"
for i in ${nums}
do
	echo ${i}
	mkdir -p ../!res/sample/${i}
	export OMP_NUM_THREADS=${i}
	../sa/omp/Release/maxsat_sa_omp sa_sample.ini >../!res/sample/${i}/sample.sa.omp.txt
done

